Generalized algebraic data type - PDFSEARCH.IO - Document Search Engine

Generalized algebraic data type
Results: 55

#	Item
31	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory
32	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
33	AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Computing Dependently typed programming Logic in computer science Functional programming Lambda calculus Monad ATS Calculus of constructions Generalized algebraic data type Software engineering Programming language theory Type theory
34	Dependent Type Providers David Raymond Christiansen IT University of Copenhagen [removed] Abstract Add to Reading List Source URL: itu.dk Language: English - Date: 2013-07-29 03:28:29 Computing Data types Functional languages Object-oriented programming Functional programming Type system Generalized algebraic data type Agda Dependent type Software engineering Type theory Programming language theory
35	Fundamenta Informaticae XX[removed]–31 1 IOS Press Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-07-20 09:14:49 Type theory Data types Functional programming Functional languages Dependently typed programming Dependent type Lock Generalized algebraic data type Concurrent computing Computing Software engineering Programming language theory
36	Preprint version. A Pattern for Almost Compositional Functions Bj¨orn Bringert Aarne Ranta Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-07-27 18:53:27 Computing Data types Functional programming Monad Pattern matching Generic programming Generalized algebraic data type Algebraic data type Type system Software engineering Declarative programming Type theory
37	Generic Haskell Andres Löh Universiteit Utrecht [removed] 24th November 2003 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Programming language theory Haskell Generic programming Type system Pattern matching Haskell 98 features Generalized algebraic data type Software engineering Computing Functional languages
38	banner above paper title Typed Transformations of Typed Abstract Syntax Arthur Baars S. Doaitse Swierstra Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2008-10-16 11:51:41 Programming language theory Data types Functional programming LG enV2 LG enV Type system Env Generalized algebraic data type ECL programming language Software engineering Computing Type theory
39	CATS 2004 Preliminary Version Typed Transformations of Typed Grammars: The Left Corner Transform Arthur Baars 1 Instituto Tecnol´ Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2010-11-06 19:03:36 Computing Generalized algebraic data type Left recursion Production Formal grammar Type system Monad Top-down parsing Combinatory logic Formal languages Software engineering Declarative programming
40	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science